RTL-SADE: A High-Level Tool for the Specification of ASICs in Data-Flow Type Applications

نویسنده

  • Jukka Lahti
چکیده

A method and tool for logic design with data-flow and state-transition diagrams is presented. The method is based on object-oriented characterization and encapsulation of the control and timing requirements of combinational and sequential data-path units. The method makes it possible to use CASE (computer-aided software engineering) methods based on system-level semantics in conjunction with current register-transfer-level VHDL and logic synthesis tools. The timing model for data-flow diagrams is based on causality, which makes it possible to automatically schedule data-path operations in data-flow oriented applications, such as DSP and telecommunications ASIC design. The tool, called RTL-SADE, automatically generates VHDL models for logic synthesis programs from graphical specifications.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic Functional Datapath Optimization A System For Digital Circuit Frontend Specification

Digital hardware frontend specification is defined by two extremes RTL specification and HLS specification. RTL specification produces highly optimized designs, but requires extremely verbose low level specification on the part of the designer. On the other hand, HLS specification requires much less verbose high level specification from the designer, but does not produce well optimized designs....

متن کامل

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

Automatic Functional Datapath Optimization

Digital hardware frontend specification is defined by two extremes RTL specification and HLS specification. RTL specification produces highly optimized designs, but requires extremely verbose low level specification on the part of the designer. On the other hand, HLS specification requires much less verbose high level specification from the designer, but does not produce well optimized designs....

متن کامل

Verifying Compiler Based Refinement of Bluespec Specifications using the SPIN Model Checker

The underlying model of computation for PROMELA is based on interacting processes with asynchronous communication, and hence SPIN has been mainly used as a verification engine for concurrent software systems. On the other hand, hardware verification has mostly focused on clock synchronous register-transfer level (RTL) models. As a result, verification tools such as SMV which are based on synchr...

متن کامل

Formal Equivalence Checking of Software Specifications

Ever-growing complexity is forcing logic design to move above the register transfer level (RTL). For example, functional specifications are being written in software. These specifications are written for clarity, and are not optimized or intended for synthesis. Since the software is the target of functional validation, equivalence verification between the software specification and the RTL impl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007